Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Gilles Dowek »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Gilles Defourneaux < Gilles Dowek < Gilles Défourneaux  Facettes :

List of bibliographic references indexed by Gilles Dowek

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]
Ident.Authors (with country if any)Title
000511 (2015-06-01) Sylvie Alayrangues [France] ; Gilles Dowek [France] ; Erwan Kerrien [France] ; Jean Mairesse [France] ; Thierry Viéville [France]Médiation en sciences du numériques : un levier pour comprendre notre quotidien ?
001067 (2013-08-22) Gilles Dowek [France] ; Jean-Pierre Archambault [France] ; Emmanuel Baccelli [France] ; Claudio Cimellli [France] ; Albert Cohen [France] ; Christine Eisenbeis [France] ; Thierry Viéville [France] ; Benjamin Wack [France] ; Hugues Bersini ; Guillaume Le BlancInformatique et sciences du numérique : Édition spéciale Python
001268 (2013-03-25) Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique]Médiation Scientifique : une facette de nos métiers de la recherche
002E61 (2010-01-09) Olivier Bournez [France] ; Gilles Dowek [France] ; Rémi Gilleron [France] ; Serge Grigorieff [France] ; Jean-Yves Marion [France] ; Simon Perdrix [France] ; Sophie Tison [France]Décidabilité et Complexité
004C71 (2007) Denis Cousineau [France] ; Gilles Dowek [États-Unis]Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
004E56 (2007) Paul Brauner [France] ; Gilles Dowek [France] ; Benjamin Wack [France]Normalization in Supernatural deduction and in Deduction modulo
007472 (2003) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
007981 (2003) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo
007D38 (2003) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo Revised Version
007F46 (2002-10) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: proofs and models
008599 (2002) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerBinding Logic : proofs and models
008832 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding Logic: Proofs and Models
009197 (2001) Gilles Dowek [France] ; Therese Hardin [France] ; Claude Kirchner [France]HOL-λσ: an intentional first-order expression of higher-order logic
009E84 (2000) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Higher Order Unification via Explicit Substitutions
009F30 (2000) Gilles Dowek [France]Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
00A350 (1999-07) Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France]HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic
00A733 (1999) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerHOL-λ σ an intentional first-order expression of higher-order logic
00A992 (1999) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
00B550 (1998) Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] ; Frank PfenningUnification via Explicit Substitutions: The Case of Higher-Order Patterns
00B557 (1998) Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France]Theorem Proving Modulo
00B641 (1998) Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France]Holls: an Intentional First-Order Expression of Higher-Order Logic

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Gilles Dowek" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Gilles Dowek" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Gilles Dowek
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022